In the field of Artificial Intelligence, Bayesian Networks (BN) are a well-known framework for reasoning under uncertain knowledge. BN have been applied in a wide range of real-world domains, such as medical diagnosis, forensic analysis, dependability assessment, risk management, etc. With respect to other types of models, BN provide relevant advantages: at the modelling level, the compact representation of the joint distribution of the system variables leads to the factorization of the set of possible states, avoiding the generation of the complete state space of the system; at the analysis level, inference algorithms can compute the probability distribution of any variable, possibly conditioned on the observation of the value (state) of o...